Converting English Sentences Into Logical Expressions